#!/usr/bin/python

import sys
import os
import re

CS = "COMPUTER_SCIENCE_PROCEEDINGS"

# Parse topics and subtopics as primitive concepts.
# All topics are subsumed by COMPUTER_SCIENCE_PROCEEDINGS
def main(file):

    for line in open(file):
	name = line.strip().replace(" ", "_");
	    
	print "(implies %s %s)" % (name, CS)


if __name__=="__main__":
    main(sys.argv[1])
